41. Graph drawing and network visualization :
Author: Therese Biedl, Andreas Kerren (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer graphics, Congresses.,Graph theory-- Data processing, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Computer Graphics.,Data Structures.,Discrete Mathematics in Computer Science.,Computer graphics.,Graph theory-- Data processing.
Classification :
QA76
.
9
.
A43
42. Graph structures for knowledge representation and reasoning :
Author: Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data structures (Computer science), Congresses.,Knowledge representation (Information theory), Congresses.,Artificial intelligence.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- System Administration-- Storage & Retrieval.,Data structures (Computer science),Information retrieval.,Knowledge representation (Information theory),Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.,Network hardware.
Classification :
Q387
43. Information systems and technologies to support learning :
Author: Álvaro Rocha, Mohammed Serrhini, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Education-- Effect of technological innovations on.,Educational innovations, Congresses.,Educational technology, Congresses.,Internet in education.,Artificial intelligence.,EDUCATION-- Administration-- General.,Education-- Effect of technological innovations on.,EDUCATION-- Organizations & Institutions.,Educational innovations.,Educational technology.,Internet in education.
Classification :
LB1028
.
3
44. Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science-- Mathematics-- Congresses,، Artificial intelligence-- Congresses
Classification :
QA
76
.
9
.
M35
.
I567
1995
45. Intelligent CAD systems II :implementational issues
Author: V. Akman, P.J.W. ten Hagen, P.J. Veerkamp (eds.)
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Computer-aided design--Congresses,Engineering design--Data processing--Congresses,Artificial intelligence--Congresses
Classification :
TA
،
174
،.
I465
،
1989
46. Intelligent Computer Mathematics
Author: \ [Edited by] Manfred Kerber...[et.al]
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science -- Mathematics -- Congresses.,Artificial intelligence -- Mathematics -- Congresses,کامپیوتر -- ریاضیات -- کنگره ها,هوش مصنوعی -- ریاضیات -- کنگره ها
Classification :
QA76
.
9
.
M35I58
2015
E-Book
,
47. Intelligent Computer Mathematics
Author: \ [Edited by] Herman Geuvers...[et.al]
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science -- Mathematics -- Congresses. ,Artificial intelligence -- Mathematics -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگرهها,هوش مصنوعی -- ریاضیات -- کنگره ها
Classification :
E-Book
,
48. Intelligent Computer Mathematics
Author: \ Michael Kohlhase ... [et.al], (eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science -- Mathematics -- Congresses,Artificial intelligence -- Mathematics,علوم کامپیوتر -- ریاضیات -- کنگرهها,هوش مصنوعی -- ریاضیات
Classification :
E-Book
,
49. Intelligent computer mathematics
Author: / Serge Autexier ... [et al] (eds.
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Algebra--Data processing--Congresses,Mathematical analysis--Data processing--Congresses,Logic, Symbolic and mathematical--Congresses
Classification :
QA
,
155
.
7
,.
E4
,
A35
,
2010
50. Intelligent computer mathematics :
Author: Cezary Kaliszyk [and 3 others] (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence-- Mathematics, Congresses.,Computer science-- Mathematics, Congresses.,Artificial intelligence-- Mathematics.,Computer science-- Mathematics.
Classification :
QA76
.
9
.
M35
C53
2019
51. Intelligent computer mathematics
Author: Johan Jeuring .. [et al.] (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence-- Mathematics, Congresses,Computer science-- Mathematics, Congresses
Classification :
QA76
.
9
.
M35
A35
2012eb
52. Language and automata theory and applications :
Author: edited by Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Formal languages.,Machine theory.,Mathematical linguistics.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.
Classification :
QA267
.
L38
2018
53. Logic and its applications :
Author: Md. Aquil Khan, Amaldev Manuel (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical, Congresses.,Logic, Symbolic and mathematical.
Classification :
QA9
.
A1
I24
2019eb
54. Mathematical foundations of computer science 2013 :
Author: Krishnendu Chatterjee, Jirí Sgall, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming -- Congresses.,Computer programming.,Computer science -- Mathematics -- Congresses.
Classification :
QA76
.
9
.
M35
K757
9999
55. Mathematics and computation in music :
Author: Mariana Montiel, Francisco Gomez-Martin, Octavio A. Agustín-Aquino (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Music-- Data processing, Congresses.,Music-- Mathematics, Congresses.,Music-- Data processing.,Music-- Mathematics.
Classification :
ML3800
.
M35
2019eb
56. Methods and Applications for Modeling and Simulation of Complex Systems :
Author: Liang Li, Kyoko Hasegawa, Satoshi Tanaka (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer simulation, Congresses.,System design, Congresses.,3D graphics & modelling.,Artificial intelligence.,Computer simulation.,Computers-- Computer Graphics.,Computers-- Computer Simulation.,Computers-- Hardware-- Network Hardware.,Computers-- Intelligence (AI) & Semantics.,Image processing.,Network hardware.,System design.
Classification :
QA76
.
9
.
C65
57. Model and data engineering :
Author: El Hassan Abdelwahed, Ladjel Bellatreche, Mattéo Golfarelli, Dominique Méry, Carlos Ordonez (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer architecture, Congresses.,Database management, Congresses.,Knowledge management, Congresses.,Artificial Intelligence.,Information Systems Applications (incl. Internet).,Mathematical Logic and Formal Languages.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Software Engineering.,Artificial intelligence.,Computer architecture.,Computer programming / software development.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Database management.,Information retrieval.,Knowledge management.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
D3
58. Modeling decisions for artificial intelligence :
Author: Vicenç Torra, Yasuo Narukawa, Isabel Aguiló, Manuel González-Hidalgo (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence-- Mathematical models, Congresses.,Computer simulation, Congresses.,Decision making-- Mathematical models, Congresses.,Artificial Intelligence.,Computers and Society.,Data Mining and Knowledge Discovery.,Math Applications in Computer Science.,Mathematical Logic and Formal Languages.,Systems and Data Security.,Artificial intelligence-- Mathematical models.,Artificial intelligence.,Computer security.,Computer simulation.,Computers-- Data Processing.,Computers-- Database Management-- Data Mining.,Computers-- Intelligence (AI) & Semantics.,Computers-- Security-- General.,Computers-- Social Aspects-- General.,Data mining.,Decision making-- Mathematical models.,Ethical & social aspects of IT.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.
Classification :
Q334
59. Multi-agent systems and agreement technologies :
Author: Francesco Belardinelli, Estefanía Argente (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Multiagent systems, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer security.,Computers-- Expert Systems.,Computers-- Intelligence (AI) & Semantics.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Expert systems / knowledge-based systems.,Mathematical theory of computation.,Mathematics-- Logic.,Multiagent systems.,Software Engineering.
Classification :
QA76
.
76
.
I58
60. New trends in constraints : joint ERCIM/Compulog Net Workshop, Paphos, Cyprus, October 25-27, 1999 : selected papers
Author: Krzysztof R. Apt...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Constraint programming )Computer science(
Classification :
QA
76
.
L28
Vol
.
1865
